 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
 <html>
   <head>
     <title>desmoj.extensions.xml.report</title>
   </head>
   <body>
     XML output infrastructure.
   </body>
 </html>